Managing files on the Raspberry Pi Pico with MicroPython